ILP 06 ’ 16 International Conference on Inductive Logic

Source URL: ilp06.doc.ic.ac.uk

Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming

Source URL: jmlr.org

• Propositional calculus
• Logic programming
• Logic in computer science
• Boolean algebra
• Automated theorem proving
• Constraint logic programming
• Resolution
• Horn clause
• Boolean satisfiability problem
• Logic
• Theoretical computer science
• Mathematics

Computational and algorithmic models of strategies in turn-based games Gerben Bergwerff Institute of Artificial Intelligence, University of Groningen Ben Meijering ([removed]) Institute of Artificial Intelligence

Source URL: jakubszymanik.com

• Reasoning
• Inductive reasoning
• Operations research
• Mathematical optimization
• Thought
• Backtracking
• Logic programming
• Algorithm
• Marble
• Science
• Knowledge
• Games

Microsoft Word - B2ETechnicalAppendix.doc

Source URL: vita.mcafee.cc

• Backward induction
• Dynamic programming
• Inductive reasoning
• Barriers to entry
• Economics
• Science
• Problem solving
• Strategic entry deterrence
• Anti-competitive behaviour
• Monopoly
• Game theory

Functional Programming and Specification Lecture Note 3, 11 March 2011 Proving that a function meets its specification We can show that a program satisfies its specification by proving that it satisfies all of the

Source URL: homepages.inf.ed.ac.uk

• Inductive reasoning
• Mathematical logic
• Mathematical proofs
• Graph theory
• Mathematical induction
• Structural induction
• Recursion
• List
• Constructible universe
• Mathematics
• Software engineering
• Computer programming

In Leake, D., ed., 1996, Case-Based Reasoning: AAAI Press/MIT Press, [removed]Menlo Park: Experiences, Lessons, and Future Directions

Source URL: www.cs.indiana.edu

• Case-based reasoning
• Learning
• Educational psychology
• Cognition
• Mind
• Problem solving
• Logic programming
• HYPO CBR
• Reasoning system
• Inductive reasoning
• Reasoning
• Critical thinking

KDD Cup 2001: Gene/Protein Function Prediction Using the Multirelational Learning Algorithm RELAGGS Mark-A. Krogel Otto-von-Guericke-Universität, Magdeburg, Germany

Source URL: www.sigkdd.org

• Data analysis
• Artificial intelligence
• Inductive logic programming
• Knowledge discovery
• Knowledge
• Magdeburg
• Interaction
• Data mining
• Science
• Machine learning

Metareasoning Stuart J. Russell Computer Science Division University of California, Berkeley November 21, 1997 Metareasoning is \reasoning about reasoning"|in its broadest sense, any computational

Source URL: www.cs.berkeley.edu

• Inductive reasoning
• Reasoning
• Anytime algorithm
• Machine learning
• Algorithm
• Bounded rationality
• Cognitive architecture
• Lookahead
• Logic programming
• Artificial intelligence
• Science
• Cognition

A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998

Source URL: www.cl.cam.ac.uk

• Mathematical logic
• Computability theory
• Theoretical computer science
• Recursion
• Theory of computation
• Primitive recursive function
• Structural induction
• Recursive definition
• Coinduction
• Mathematics
• Computer programming
• Software engineering

L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions

Source URL: www.cl.cam.ac.uk

• Applied mathematics
• Mathematical logic
• Programming idioms
• Theory of computation
• Computability theory
• Recursion
• Recursive definition
• Coinduction
• Lawrence Paulson
• Mathematics
• Computer programming
• Theoretical computer science